ON SEMI-LOWER BOUNDED MODULARS

on the structure and properties of lower bounded analytic frames

algebraic frames are generalizations of fourier transforms on locally compact abelian groups in the sense that the family of vectors forming the frame are replaced by a family of unbounded linear functionals. the paper studies the indexing measure space of the algebraic frames; as the investigation narrows down to the class of lower semiframes, more relations are revealed between the discret...

Returning to semi-bounded sets

Semi-formal Bounded Model Checking

This paper presents a novel approach to bounded model checking. We replace the SAT solver by an extended simulator of the circuit being verified. Compared to SAT-solving algorithms, our approach sacrifices some generality in selecting splitting variables and in the kinds of learning possible. In exchange, our approach enables compiled simulation of the circuit being verified, while our simulato...

Lower Bounded Control-lyapunov Functions

The well known Brockett condition a topological obstruction to the existence of smooth stabilizing feedback laws has engendered a large body of work on discontinuous feedback stabilization. The purpose of this paper is to introduce a class of control-Lyapunov function from which it is possible to specify a (possibly discontinuous) stabilizing feedback law. For control-affine systems with unboun...

On the Finite Rank of Bounded Semi-infinite Hankel Operators

Bounded, semi-infinite Hankel matrices of finite rank over the space l of square-summable sequences occur frequently in classical analysis and engineering applications. The notion of finite rank often appears under different contexts and the literature is diverse. The first part of this paper reviews some elegant, classic criteria and establish connections among the various characterizations of...